Sébastien Briais and Uwe Nestmann (2007). Open bisimulation, revisited. Theor. Comput. Sci., 236-271.

Sébastien Briais and Uwe Nestmann (2007). A formal semantics for protocol narrations. Theor. Comput. Sci., 484-511.

Schneider, Sven and Borgström, Johannes and Nestmann, Uwe (2008). Towards the application of process calculi in the domain of peer-to-peer algorithms. Autonomous Systems–Self-Organization, Management, and Control. Springer Netherlands, 97–104.

Aceto, Luca and Baeten, Jos CM and Fokkink, Wan and Ingolfsdottir, Anna and Nestmann, Uwe (2008). Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS, 113–129.

Nestmann, Uwe and Puhlmann, Frank (2008). Business Process Specification and Analysis. Process Algebra for Parallel and Distributed Processing. CRC Press, 129.

Morten Kühnrich and Uwe Nestmann (2009). On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE, 198-212.

(2009). Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. FMOODS/FORTE. Springer.

Florian Eilers and Uwe Nestmann (2009). Deriving Trust from Experience. Formal Aspects in Security and Trust, 36-50.

Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann (2009). Preface. J. Log. Algebr. Program.

Goltz, Ursula and Nestmann, Uwe and Peters, Kirstin and Schicke, Jens-Wolfhard (2010). Synchronous and Asynchronous Interaction in Distributed Systems.

(2010). Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Formal Aspects in Security and Trust. Springer.

Sarrouh, Nadim and Blankenstein, Oliver and Nestmann, Uwe (2010). Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. GI Jahrestagung (1). GI, 229-234.

Peters, Kirstin and Nestmann, Uwe (2010). Breaking Symmetries. CoRR

Sarrouh, Nadim and Eilers, Florian and Nestmann, Uwe and Schieferdecker, Ina (2010). Defamation-Free Networks through User-Centered Data Control. STM. Springer, 179-193.

Peters, Kirstin and Schicke, Jens-Wolfhard and Nestmann, Uwe (2011). Synchrony vs Causality in the Asynchronous Pi-Calculus. EXPRESS, 89-103.

Lau, Hannes and Nestmann, Uwe (2011). Java Goes TLA+. TASE. IEEE Computer Society, 117-124.

Schneider, Sven and Nestmann, Uwe (2011). Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS. Springer, 301-316.

Peters, Kirstin (2012). Translational Expressiveness. Comparing Process Calculi using Encodings. TU Berlin

Peters, Kirstin and Nestmann, Uwe (2012). Is it a "Good" Encoding of Mixed Choice? (Technical Report). CoRR

Peters, Kirstin and Nestmann, Uwe (2012). Is It a "Good" Encoding of Mixed Choice?. FoSSaCS. Springer, 210-224.

Nestmann, Uwe (2012). Theoretische Grundlagen der Informatik 1 (TheGI1). TU Berlin

Küfner, Philipp and Nestmann, Uwe and Rickmann, Christina (2012). Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS. Springer, 209-224.

Peters, Kirstin and Nestmann, Uwe and Goltz, Ursula (2013). On Distributability in Process Calculi. ESOP. Springer, 310-329.

Arbach, Youssef and Peters, Kirstin and Nestmann, Uwe (2013). Adding Priority to Event Structures. EXPRESS/SOS, 17-31.

Nestmann, Uwe (2013). 3.12 Verifying Consensus... Using Process Calculi, State Machines, and Proof Checkers. Formal Verification of Distributed Algorithms, 10.

Schneider, Sven and Schmuck, Anne-Kathrin and Nestmann, Uwe and Raisch, Jörg (2014). Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES, 214-221.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2014). Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES, 286-293.

Gorla, Daniele and Nestmann, Uwe (2014). Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science, 1-16.

Nestmann, Uwe und Wilhelm-Weidner, Arno (2014). Vorlesungen innovativ gestalten, chapter Screencasts Pro:Wie Lehrvideos die Vorlesung ergänzen können. BELTZ Verlag, 149–158.

Schneider, Sven and Nestmann, Uwe (2014). Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus (Technical Report). CoRR

Wagner, Christoph and Nestmann, Uwe (2014). States in Process Calculi. EXPRESS/SOS, 48-62.

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus. EXPRESS/SOS, 16-29.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2015). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 1-28.

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures (Technical Report). CoRR

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures. FORTE. Springer, 83-97.

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS. EXPRESS/SOS, 61-75.

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS (Extended Version). CoRR

Wilhelm-Weidner, Arno (2015). MobiMat – ein Framework zur Mobilisierung von Lehrmaterial. Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015). CEUR-WS.org, 239–243.

Karcher, David S. and Nestmann, Uwe (2015). Higher-Order Dynamics in Event Structures. ICTAC. Springer, 258-271.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2016). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 5–32.

Gorla, Daniele and Nestmann, Uwe (2016). Full abstraction for expressiveness: History, myths and facts. Mathematical Structures in Computer Science, 639–654.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). A Constructive Proof for FLP. Archive of Formal Proofs

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2016). Session Types for Link Failures (Technical Report). arXiv preprint arXiv:1607.07286

Peters, Kirstin and Nestmann, Uwe (2016). Breaking Symmetries. Mathematical Structures in Computer Science, 1054–1106.

Gebler, Daniel and Peters, Kirstin (2016). Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics.

Rickmann, Christina and Wagner, Christoph and Nestmann, Uwe and Schmid, Stefan (2016). Topological Self-Stabilization with Name-Passing Process Calculi. 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 19:1–19:15.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). Mechanical Verification of a Constructive Proof for FLP. International Conference on Interactive Theorem Proving. Springer, 107–122.

Peters, Kirstin and Jens-Wolfhard Schicke-Uffmann and Goltz, Ursula and Nestmann, Uwe (2016). Synchrony versus causality in distributed systems. , 1459–1498.

Wilhelm-Weidner, Arno and Nestmann, Uwe (2017). Interaktives Erstellen mobiler Lerneinheiten mit MobiMat. Das Elektronische Schulbuch 2016. LIT Verlag.